-
1 Interactive Mathematical Proofs
Mathematics: IMPУниверсальный русско-английский словарь > Interactive Mathematical Proofs
-
2 IMP
1) Биология: inosine monophosphate, intramembrane particle2) Медицина: иммуно-обусловленный фотодерматоз, иммуно-опосредованный фотодерматоз, иммунообусловленный фотодерматоз, иммуноопосредованный фотодерматоз, immunologically mediated photodermatosis, исследуемый лекарственный препарат (investigational medicinal product)3) Американизм: International Management Program4) Спорт: International Match Point5) Военный термин: Image Product, Implementation and Monitoring Plan, Individual Meal Pack, Information Management Program, Input Message Processing, Input Message Processor, Integrated Mediterranean Program, Intelligence Message Processor, impact point, impact prediction, improved maintenance program, improved maneuverability package, industrial mobilization plan, initial military program, integrated maintenance plan, integrated maintenance procedure, integrated maintenance program, integrated monitoring panel, interface management plan, interim monitoring program, international military personnel6) Техника: image processing program, impact predictor, impregnate, impregnated, indication of microwave propagation, instrument maintenance procedure, instrumented monkey pod, intermodulation product, interplanetary magnetometer probe, interplanetary measurement probe, interplanetary monitoring probe7) Сельское хозяйство: impeller8) Математика: Interactive Mathematical Proofs9) Финансы: (integrated master plan) комплексный генеральный план, (integrated master plan) объединённый генеральный план10) Грубое выражение: Imaginative Marvelous Playful11) Телекоммуникации: Interface Message Processors, Interface Message Processor (ARPANET)12) Сокращение: Improved Manoeuvrability Package, Infantry Mine Project, Integrated Mail Processor (Royal Mail & New Zealand: single unit CFC to sorter, 1996), Interface Message Protocol, International Missile Proliferation, Interplanetary Monitoring Platform, Interface Message Processor (ARPANET/MILNET)13) Физиология: Implant14) Электроника: Interface Message Processor15) Вычислительная техника: Integrated Multiprotocol Processor, Interface Message Processors (ARPANET, MILNET), Interface Message Processor (ARPANET/MILNET, replaced by PSN)16) Нефть: программа комплексного технического обслуживания (improved maintenance program), усовершенствованная программа технического обслуживания (improved maintenance program), Integrity Management Plan17) Иммунология: белок-иммуномодулятор противовоспалительного действия, иммуномодулирующий белок противовоспалительного действия, противовоспалительный белок-иммуномодулятор, inflammation modulatory protein18) Цитология: перитонеальный макрофаг, immune peritoneal macrophage, peritoneal macrophage19) Организация производства: модель интегрального планирования, модель интегрированного планирования, Integrated Planning Model20) Фирменный знак: International Music Productions21) СМИ: Intelligent Media Player22) Деловая лексика: Improvement Management Process, Individual Management Plan23) Глоссарий компании Сахалин Энерджи: Instituto Mexicano del Petroleo24) Нефтегазовая техника Программа обеспечения целостности оборудования (Integrity Management Programme)25) Образование: Interactive Math Program26) Сетевые технологии: Internal Message Protocol, Internet Mail Provider, интерфейсный процессор сообщений, протокол обмена служебными сообщениями, сопрягающий процессор сообщений27) Химическое оружие: Information management plan28) Расширение файла: Information/Interface Message Processor, Pascal implementation, Compressed file archive (IMP), Spreadsheet (Lotus Improv)29) Электротехника: impulse generator30) Высокочастотная электроника: intermodulation products31) Молекулярная биология: НИИ молекулярной патологии (– Вена), Research Institute of Molecular Pathology (– Vienna)32) Должность: Internet Media Producer33) Чат: Internet My Pocket, Its My Party34) Международная торговля: International Market Place, International Merchandise Procurement -
3 Imp
1) Биология: inosine monophosphate, intramembrane particle2) Медицина: иммуно-обусловленный фотодерматоз, иммуно-опосредованный фотодерматоз, иммунообусловленный фотодерматоз, иммуноопосредованный фотодерматоз, immunologically mediated photodermatosis, исследуемый лекарственный препарат (investigational medicinal product)3) Американизм: International Management Program4) Спорт: International Match Point5) Военный термин: Image Product, Implementation and Monitoring Plan, Individual Meal Pack, Information Management Program, Input Message Processing, Input Message Processor, Integrated Mediterranean Program, Intelligence Message Processor, impact point, impact prediction, improved maintenance program, improved maneuverability package, industrial mobilization plan, initial military program, integrated maintenance plan, integrated maintenance procedure, integrated maintenance program, integrated monitoring panel, interface management plan, interim monitoring program, international military personnel6) Техника: image processing program, impact predictor, impregnate, impregnated, indication of microwave propagation, instrument maintenance procedure, instrumented monkey pod, intermodulation product, interplanetary magnetometer probe, interplanetary measurement probe, interplanetary monitoring probe7) Сельское хозяйство: impeller8) Математика: Interactive Mathematical Proofs9) Финансы: (integrated master plan) комплексный генеральный план, (integrated master plan) объединённый генеральный план10) Грубое выражение: Imaginative Marvelous Playful11) Телекоммуникации: Interface Message Processors, Interface Message Processor (ARPANET)12) Сокращение: Improved Manoeuvrability Package, Infantry Mine Project, Integrated Mail Processor (Royal Mail & New Zealand: single unit CFC to sorter, 1996), Interface Message Protocol, International Missile Proliferation, Interplanetary Monitoring Platform, Interface Message Processor (ARPANET/MILNET)13) Физиология: Implant14) Электроника: Interface Message Processor15) Вычислительная техника: Integrated Multiprotocol Processor, Interface Message Processors (ARPANET, MILNET), Interface Message Processor (ARPANET/MILNET, replaced by PSN)16) Нефть: программа комплексного технического обслуживания (improved maintenance program), усовершенствованная программа технического обслуживания (improved maintenance program), Integrity Management Plan17) Иммунология: белок-иммуномодулятор противовоспалительного действия, иммуномодулирующий белок противовоспалительного действия, противовоспалительный белок-иммуномодулятор, inflammation modulatory protein18) Цитология: перитонеальный макрофаг, immune peritoneal macrophage, peritoneal macrophage19) Организация производства: модель интегрального планирования, модель интегрированного планирования, Integrated Planning Model20) Фирменный знак: International Music Productions21) СМИ: Intelligent Media Player22) Деловая лексика: Improvement Management Process, Individual Management Plan23) Глоссарий компании Сахалин Энерджи: Instituto Mexicano del Petroleo24) Нефтегазовая техника Программа обеспечения целостности оборудования (Integrity Management Programme)25) Образование: Interactive Math Program26) Сетевые технологии: Internal Message Protocol, Internet Mail Provider, интерфейсный процессор сообщений, протокол обмена служебными сообщениями, сопрягающий процессор сообщений27) Химическое оружие: Information management plan28) Расширение файла: Information/Interface Message Processor, Pascal implementation, Compressed file archive (IMP), Spreadsheet (Lotus Improv)29) Электротехника: impulse generator30) Высокочастотная электроника: intermodulation products31) Молекулярная биология: НИИ молекулярной патологии (– Вена), Research Institute of Molecular Pathology (– Vienna)32) Должность: Internet Media Producer33) Чат: Internet My Pocket, Its My Party34) Международная торговля: International Market Place, International Merchandise Procurement -
4 imp
1) Биология: inosine monophosphate, intramembrane particle2) Медицина: иммуно-обусловленный фотодерматоз, иммуно-опосредованный фотодерматоз, иммунообусловленный фотодерматоз, иммуноопосредованный фотодерматоз, immunologically mediated photodermatosis, исследуемый лекарственный препарат (investigational medicinal product)3) Американизм: International Management Program4) Спорт: International Match Point5) Военный термин: Image Product, Implementation and Monitoring Plan, Individual Meal Pack, Information Management Program, Input Message Processing, Input Message Processor, Integrated Mediterranean Program, Intelligence Message Processor, impact point, impact prediction, improved maintenance program, improved maneuverability package, industrial mobilization plan, initial military program, integrated maintenance plan, integrated maintenance procedure, integrated maintenance program, integrated monitoring panel, interface management plan, interim monitoring program, international military personnel6) Техника: image processing program, impact predictor, impregnate, impregnated, indication of microwave propagation, instrument maintenance procedure, instrumented monkey pod, intermodulation product, interplanetary magnetometer probe, interplanetary measurement probe, interplanetary monitoring probe7) Сельское хозяйство: impeller8) Математика: Interactive Mathematical Proofs9) Финансы: (integrated master plan) комплексный генеральный план, (integrated master plan) объединённый генеральный план10) Грубое выражение: Imaginative Marvelous Playful11) Телекоммуникации: Interface Message Processors, Interface Message Processor (ARPANET)12) Сокращение: Improved Manoeuvrability Package, Infantry Mine Project, Integrated Mail Processor (Royal Mail & New Zealand: single unit CFC to sorter, 1996), Interface Message Protocol, International Missile Proliferation, Interplanetary Monitoring Platform, Interface Message Processor (ARPANET/MILNET)13) Физиология: Implant14) Электроника: Interface Message Processor15) Вычислительная техника: Integrated Multiprotocol Processor, Interface Message Processors (ARPANET, MILNET), Interface Message Processor (ARPANET/MILNET, replaced by PSN)16) Нефть: программа комплексного технического обслуживания (improved maintenance program), усовершенствованная программа технического обслуживания (improved maintenance program), Integrity Management Plan17) Иммунология: белок-иммуномодулятор противовоспалительного действия, иммуномодулирующий белок противовоспалительного действия, противовоспалительный белок-иммуномодулятор, inflammation modulatory protein18) Цитология: перитонеальный макрофаг, immune peritoneal macrophage, peritoneal macrophage19) Организация производства: модель интегрального планирования, модель интегрированного планирования, Integrated Planning Model20) Фирменный знак: International Music Productions21) СМИ: Intelligent Media Player22) Деловая лексика: Improvement Management Process, Individual Management Plan23) Глоссарий компании Сахалин Энерджи: Instituto Mexicano del Petroleo24) Нефтегазовая техника Программа обеспечения целостности оборудования (Integrity Management Programme)25) Образование: Interactive Math Program26) Сетевые технологии: Internal Message Protocol, Internet Mail Provider, интерфейсный процессор сообщений, протокол обмена служебными сообщениями, сопрягающий процессор сообщений27) Химическое оружие: Information management plan28) Расширение файла: Information/Interface Message Processor, Pascal implementation, Compressed file archive (IMP), Spreadsheet (Lotus Improv)29) Электротехника: impulse generator30) Высокочастотная электроника: intermodulation products31) Молекулярная биология: НИИ молекулярной патологии (– Вена), Research Institute of Molecular Pathology (– Vienna)32) Должность: Internet Media Producer33) Чат: Internet My Pocket, Its My Party34) Международная торговля: International Market Place, International Merchandise Procurement
См. также в других словарях:
Interactive theorem proving — is the field of computer science and mathematical logic concerned with tools to develop formal proofs by man machine collaboration. This involves some sort of proof assistant: an interactive proof editor, or other interface, with which a human… … Wikipedia
Mathematical visualization — The Mandelbrot set, one of the most famous examples of mathematical visualization. Mathematical visualization is an aspect of geometry which allows one to understand and explore mathematical phenomena via visualization. Classically this consisted … Wikipedia
List of interactive geometry software — Interactive geometry software (IGS, or dynamic geometry environments, DGEs) are computer programs which allow one to create and then manipulate geometric constructions, primarily in plane geometry. In most IGS, one starts construction by putting… … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
History of geometry — Geometry (Greek γεωμετρία ; geo = earth, metria = measure) arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre modern mathematics, the other being the study of numbers. Classic geometry… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Eigenvalues and eigenvectors — For more specific information regarding the eigenvalues and eigenvectors of matrices, see Eigendecomposition of a matrix. In this shear mapping the red arrow changes direction but the blue arrow does not. Therefore the blue arrow is an… … Wikipedia
Isaac Newton — Sir Isaac Newton … Wikipedia
Agda (theorem prover) — Agda is a theorem prover, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin Löf s Type Theory. It can also be seen as a… … Wikipedia
Euclid — Infobox Scientist name = Euclid image width = caption = birth date = fl. 300 BC residence = Alexandria, Egypt ethnicity = Greek field = Mathematics known for = Euclid s Elements Euclid (Greek: . polytonic|Εὐκλείδης mdash; Eukleidēs), fl. 300 BC,… … Wikipedia